3.4.11 \(\int \frac {x^3 (a+b \log (c (d+e x)^n))^2}{f+g x^2} \, dx\) [311]

3.4.11.1 Optimal result
3.4.11.2 Mathematica [C] (verified)
3.4.11.3 Rubi [A] (verified)
3.4.11.4 Maple [F]
3.4.11.5 Fricas [F]
3.4.11.6 Sympy [F(-1)]
3.4.11.7 Maxima [F]
3.4.11.8 Giac [F]
3.4.11.9 Mupad [F(-1)]

3.4.11.1 Optimal result

Integrand size = 29, antiderivative size = 499 \[ \int \frac {x^3 \left (a+b \log \left (c (d+e x)^n\right )\right )^2}{f+g x^2} \, dx=\frac {2 a b d n x}{e g}-\frac {2 b^2 d n^2 x}{e g}+\frac {b^2 n^2 (d+e x)^2}{4 e^2 g}+\frac {2 b^2 d n (d+e x) \log \left (c (d+e x)^n\right )}{e^2 g}-\frac {b n (d+e x)^2 \left (a+b \log \left (c (d+e x)^n\right )\right )}{2 e^2 g}-\frac {d (d+e x) \left (a+b \log \left (c (d+e x)^n\right )\right )^2}{e^2 g}+\frac {(d+e x)^2 \left (a+b \log \left (c (d+e x)^n\right )\right )^2}{2 e^2 g}-\frac {f \left (a+b \log \left (c (d+e x)^n\right )\right )^2 \log \left (\frac {e \left (\sqrt {-f}-\sqrt {g} x\right )}{e \sqrt {-f}+d \sqrt {g}}\right )}{2 g^2}-\frac {f \left (a+b \log \left (c (d+e x)^n\right )\right )^2 \log \left (\frac {e \left (\sqrt {-f}+\sqrt {g} x\right )}{e \sqrt {-f}-d \sqrt {g}}\right )}{2 g^2}-\frac {b f n \left (a+b \log \left (c (d+e x)^n\right )\right ) \operatorname {PolyLog}\left (2,-\frac {\sqrt {g} (d+e x)}{e \sqrt {-f}-d \sqrt {g}}\right )}{g^2}-\frac {b f n \left (a+b \log \left (c (d+e x)^n\right )\right ) \operatorname {PolyLog}\left (2,\frac {\sqrt {g} (d+e x)}{e \sqrt {-f}+d \sqrt {g}}\right )}{g^2}+\frac {b^2 f n^2 \operatorname {PolyLog}\left (3,-\frac {\sqrt {g} (d+e x)}{e \sqrt {-f}-d \sqrt {g}}\right )}{g^2}+\frac {b^2 f n^2 \operatorname {PolyLog}\left (3,\frac {\sqrt {g} (d+e x)}{e \sqrt {-f}+d \sqrt {g}}\right )}{g^2} \]

output
2*a*b*d*n*x/e/g-2*b^2*d*n^2*x/e/g+1/4*b^2*n^2*(e*x+d)^2/e^2/g+2*b^2*d*n*(e 
*x+d)*ln(c*(e*x+d)^n)/e^2/g-1/2*b*n*(e*x+d)^2*(a+b*ln(c*(e*x+d)^n))/e^2/g- 
d*(e*x+d)*(a+b*ln(c*(e*x+d)^n))^2/e^2/g+1/2*(e*x+d)^2*(a+b*ln(c*(e*x+d)^n) 
)^2/e^2/g-1/2*f*(a+b*ln(c*(e*x+d)^n))^2*ln(e*((-f)^(1/2)-x*g^(1/2))/(e*(-f 
)^(1/2)+d*g^(1/2)))/g^2-1/2*f*(a+b*ln(c*(e*x+d)^n))^2*ln(e*((-f)^(1/2)+x*g 
^(1/2))/(e*(-f)^(1/2)-d*g^(1/2)))/g^2-b*f*n*(a+b*ln(c*(e*x+d)^n))*polylog( 
2,-(e*x+d)*g^(1/2)/(e*(-f)^(1/2)-d*g^(1/2)))/g^2-b*f*n*(a+b*ln(c*(e*x+d)^n 
))*polylog(2,(e*x+d)*g^(1/2)/(e*(-f)^(1/2)+d*g^(1/2)))/g^2+b^2*f*n^2*polyl 
og(3,-(e*x+d)*g^(1/2)/(e*(-f)^(1/2)-d*g^(1/2)))/g^2+b^2*f*n^2*polylog(3,(e 
*x+d)*g^(1/2)/(e*(-f)^(1/2)+d*g^(1/2)))/g^2
 
3.4.11.2 Mathematica [C] (verified)

Result contains complex when optimal does not.

Time = 0.49 (sec) , antiderivative size = 637, normalized size of antiderivative = 1.28 \[ \int \frac {x^3 \left (a+b \log \left (c (d+e x)^n\right )\right )^2}{f+g x^2} \, dx=\frac {2 e^2 g x^2 \left (a-b n \log (d+e x)+b \log \left (c (d+e x)^n\right )\right )^2-2 e^2 f \left (a-b n \log (d+e x)+b \log \left (c (d+e x)^n\right )\right )^2 \log \left (f+g x^2\right )+2 b n \left (a-b n \log (d+e x)+b \log \left (c (d+e x)^n\right )\right ) \left (e g x (2 d-e x)-2 g \left (d^2-e^2 x^2\right ) \log (d+e x)-2 e^2 f \left (\log (d+e x) \log \left (1-\frac {\sqrt {g} (d+e x)}{-i e \sqrt {f}+d \sqrt {g}}\right )+\operatorname {PolyLog}\left (2,\frac {\sqrt {g} (d+e x)}{-i e \sqrt {f}+d \sqrt {g}}\right )\right )-2 e^2 f \left (\log (d+e x) \log \left (1-\frac {\sqrt {g} (d+e x)}{i e \sqrt {f}+d \sqrt {g}}\right )+\operatorname {PolyLog}\left (2,\frac {\sqrt {g} (d+e x)}{i e \sqrt {f}+d \sqrt {g}}\right )\right )\right )-b^2 n^2 \left (g \left (e x (6 d-e x)+\left (-6 d^2-4 d e x+2 e^2 x^2\right ) \log (d+e x)+2 \left (d^2-e^2 x^2\right ) \log ^2(d+e x)\right )+2 e^2 f \left (\log ^2(d+e x) \log \left (1-\frac {\sqrt {g} (d+e x)}{-i e \sqrt {f}+d \sqrt {g}}\right )+2 \log (d+e x) \operatorname {PolyLog}\left (2,\frac {\sqrt {g} (d+e x)}{-i e \sqrt {f}+d \sqrt {g}}\right )-2 \operatorname {PolyLog}\left (3,\frac {\sqrt {g} (d+e x)}{-i e \sqrt {f}+d \sqrt {g}}\right )\right )+2 e^2 f \left (\log ^2(d+e x) \log \left (1-\frac {\sqrt {g} (d+e x)}{i e \sqrt {f}+d \sqrt {g}}\right )+2 \log (d+e x) \operatorname {PolyLog}\left (2,\frac {\sqrt {g} (d+e x)}{i e \sqrt {f}+d \sqrt {g}}\right )-2 \operatorname {PolyLog}\left (3,\frac {\sqrt {g} (d+e x)}{i e \sqrt {f}+d \sqrt {g}}\right )\right )\right )}{4 e^2 g^2} \]

input
Integrate[(x^3*(a + b*Log[c*(d + e*x)^n])^2)/(f + g*x^2),x]
 
output
(2*e^2*g*x^2*(a - b*n*Log[d + e*x] + b*Log[c*(d + e*x)^n])^2 - 2*e^2*f*(a 
- b*n*Log[d + e*x] + b*Log[c*(d + e*x)^n])^2*Log[f + g*x^2] + 2*b*n*(a - b 
*n*Log[d + e*x] + b*Log[c*(d + e*x)^n])*(e*g*x*(2*d - e*x) - 2*g*(d^2 - e^ 
2*x^2)*Log[d + e*x] - 2*e^2*f*(Log[d + e*x]*Log[1 - (Sqrt[g]*(d + e*x))/(( 
-I)*e*Sqrt[f] + d*Sqrt[g])] + PolyLog[2, (Sqrt[g]*(d + e*x))/((-I)*e*Sqrt[ 
f] + d*Sqrt[g])]) - 2*e^2*f*(Log[d + e*x]*Log[1 - (Sqrt[g]*(d + e*x))/(I*e 
*Sqrt[f] + d*Sqrt[g])] + PolyLog[2, (Sqrt[g]*(d + e*x))/(I*e*Sqrt[f] + d*S 
qrt[g])])) - b^2*n^2*(g*(e*x*(6*d - e*x) + (-6*d^2 - 4*d*e*x + 2*e^2*x^2)* 
Log[d + e*x] + 2*(d^2 - e^2*x^2)*Log[d + e*x]^2) + 2*e^2*f*(Log[d + e*x]^2 
*Log[1 - (Sqrt[g]*(d + e*x))/((-I)*e*Sqrt[f] + d*Sqrt[g])] + 2*Log[d + e*x 
]*PolyLog[2, (Sqrt[g]*(d + e*x))/((-I)*e*Sqrt[f] + d*Sqrt[g])] - 2*PolyLog 
[3, (Sqrt[g]*(d + e*x))/((-I)*e*Sqrt[f] + d*Sqrt[g])]) + 2*e^2*f*(Log[d + 
e*x]^2*Log[1 - (Sqrt[g]*(d + e*x))/(I*e*Sqrt[f] + d*Sqrt[g])] + 2*Log[d + 
e*x]*PolyLog[2, (Sqrt[g]*(d + e*x))/(I*e*Sqrt[f] + d*Sqrt[g])] - 2*PolyLog 
[3, (Sqrt[g]*(d + e*x))/(I*e*Sqrt[f] + d*Sqrt[g])])))/(4*e^2*g^2)
 
3.4.11.3 Rubi [A] (verified)

Time = 0.94 (sec) , antiderivative size = 499, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.069, Rules used = {2863, 2009}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {x^3 \left (a+b \log \left (c (d+e x)^n\right )\right )^2}{f+g x^2} \, dx\)

\(\Big \downarrow \) 2863

\(\displaystyle \int \left (\frac {x \left (a+b \log \left (c (d+e x)^n\right )\right )^2}{g}-\frac {f x \left (a+b \log \left (c (d+e x)^n\right )\right )^2}{g \left (f+g x^2\right )}\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle -\frac {b n (d+e x)^2 \left (a+b \log \left (c (d+e x)^n\right )\right )}{2 e^2 g}+\frac {(d+e x)^2 \left (a+b \log \left (c (d+e x)^n\right )\right )^2}{2 e^2 g}-\frac {d (d+e x) \left (a+b \log \left (c (d+e x)^n\right )\right )^2}{e^2 g}-\frac {b f n \operatorname {PolyLog}\left (2,-\frac {\sqrt {g} (d+e x)}{e \sqrt {-f}-d \sqrt {g}}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )}{g^2}-\frac {b f n \operatorname {PolyLog}\left (2,\frac {\sqrt {g} (d+e x)}{\sqrt {g} d+e \sqrt {-f}}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )}{g^2}-\frac {f \log \left (\frac {e \left (\sqrt {-f}-\sqrt {g} x\right )}{d \sqrt {g}+e \sqrt {-f}}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )^2}{2 g^2}-\frac {f \log \left (\frac {e \left (\sqrt {-f}+\sqrt {g} x\right )}{e \sqrt {-f}-d \sqrt {g}}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )^2}{2 g^2}+\frac {2 a b d n x}{e g}+\frac {2 b^2 d n (d+e x) \log \left (c (d+e x)^n\right )}{e^2 g}+\frac {b^2 n^2 (d+e x)^2}{4 e^2 g}+\frac {b^2 f n^2 \operatorname {PolyLog}\left (3,-\frac {\sqrt {g} (d+e x)}{e \sqrt {-f}-d \sqrt {g}}\right )}{g^2}+\frac {b^2 f n^2 \operatorname {PolyLog}\left (3,\frac {\sqrt {g} (d+e x)}{\sqrt {g} d+e \sqrt {-f}}\right )}{g^2}-\frac {2 b^2 d n^2 x}{e g}\)

input
Int[(x^3*(a + b*Log[c*(d + e*x)^n])^2)/(f + g*x^2),x]
 
output
(2*a*b*d*n*x)/(e*g) - (2*b^2*d*n^2*x)/(e*g) + (b^2*n^2*(d + e*x)^2)/(4*e^2 
*g) + (2*b^2*d*n*(d + e*x)*Log[c*(d + e*x)^n])/(e^2*g) - (b*n*(d + e*x)^2* 
(a + b*Log[c*(d + e*x)^n]))/(2*e^2*g) - (d*(d + e*x)*(a + b*Log[c*(d + e*x 
)^n])^2)/(e^2*g) + ((d + e*x)^2*(a + b*Log[c*(d + e*x)^n])^2)/(2*e^2*g) - 
(f*(a + b*Log[c*(d + e*x)^n])^2*Log[(e*(Sqrt[-f] - Sqrt[g]*x))/(e*Sqrt[-f] 
 + d*Sqrt[g])])/(2*g^2) - (f*(a + b*Log[c*(d + e*x)^n])^2*Log[(e*(Sqrt[-f] 
 + Sqrt[g]*x))/(e*Sqrt[-f] - d*Sqrt[g])])/(2*g^2) - (b*f*n*(a + b*Log[c*(d 
 + e*x)^n])*PolyLog[2, -((Sqrt[g]*(d + e*x))/(e*Sqrt[-f] - d*Sqrt[g]))])/g 
^2 - (b*f*n*(a + b*Log[c*(d + e*x)^n])*PolyLog[2, (Sqrt[g]*(d + e*x))/(e*S 
qrt[-f] + d*Sqrt[g])])/g^2 + (b^2*f*n^2*PolyLog[3, -((Sqrt[g]*(d + e*x))/( 
e*Sqrt[-f] - d*Sqrt[g]))])/g^2 + (b^2*f*n^2*PolyLog[3, (Sqrt[g]*(d + e*x)) 
/(e*Sqrt[-f] + d*Sqrt[g])])/g^2
 

3.4.11.3.1 Defintions of rubi rules used

rule 2009
Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 

rule 2863
Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*((h_.)*(x_)) 
^(m_.)*((f_) + (g_.)*(x_)^(r_.))^(q_.), x_Symbol] :> Int[ExpandIntegrand[(a 
 + b*Log[c*(d + e*x)^n])^p, (h*x)^m*(f + g*x^r)^q, x], x] /; FreeQ[{a, b, c 
, d, e, f, g, h, m, n, p, q, r}, x] && IntegerQ[m] && IntegerQ[q]
 
3.4.11.4 Maple [F]

\[\int \frac {x^{3} {\left (a +b \ln \left (c \left (e x +d \right )^{n}\right )\right )}^{2}}{g \,x^{2}+f}d x\]

input
int(x^3*(a+b*ln(c*(e*x+d)^n))^2/(g*x^2+f),x)
 
output
int(x^3*(a+b*ln(c*(e*x+d)^n))^2/(g*x^2+f),x)
 
3.4.11.5 Fricas [F]

\[ \int \frac {x^3 \left (a+b \log \left (c (d+e x)^n\right )\right )^2}{f+g x^2} \, dx=\int { \frac {{\left (b \log \left ({\left (e x + d\right )}^{n} c\right ) + a\right )}^{2} x^{3}}{g x^{2} + f} \,d x } \]

input
integrate(x^3*(a+b*log(c*(e*x+d)^n))^2/(g*x^2+f),x, algorithm="fricas")
 
output
integral((b^2*x^3*log((e*x + d)^n*c)^2 + 2*a*b*x^3*log((e*x + d)^n*c) + a^ 
2*x^3)/(g*x^2 + f), x)
 
3.4.11.6 Sympy [F(-1)]

Timed out. \[ \int \frac {x^3 \left (a+b \log \left (c (d+e x)^n\right )\right )^2}{f+g x^2} \, dx=\text {Timed out} \]

input
integrate(x**3*(a+b*ln(c*(e*x+d)**n))**2/(g*x**2+f),x)
 
output
Timed out
 
3.4.11.7 Maxima [F]

\[ \int \frac {x^3 \left (a+b \log \left (c (d+e x)^n\right )\right )^2}{f+g x^2} \, dx=\int { \frac {{\left (b \log \left ({\left (e x + d\right )}^{n} c\right ) + a\right )}^{2} x^{3}}{g x^{2} + f} \,d x } \]

input
integrate(x^3*(a+b*log(c*(e*x+d)^n))^2/(g*x^2+f),x, algorithm="maxima")
 
output
1/2*a^2*(x^2/g - f*log(g*x^2 + f)/g^2) + integrate((b^2*x^3*log((e*x + d)^ 
n)^2 + 2*(b^2*log(c) + a*b)*x^3*log((e*x + d)^n) + (b^2*log(c)^2 + 2*a*b*l 
og(c))*x^3)/(g*x^2 + f), x)
 
3.4.11.8 Giac [F]

\[ \int \frac {x^3 \left (a+b \log \left (c (d+e x)^n\right )\right )^2}{f+g x^2} \, dx=\int { \frac {{\left (b \log \left ({\left (e x + d\right )}^{n} c\right ) + a\right )}^{2} x^{3}}{g x^{2} + f} \,d x } \]

input
integrate(x^3*(a+b*log(c*(e*x+d)^n))^2/(g*x^2+f),x, algorithm="giac")
 
output
integrate((b*log((e*x + d)^n*c) + a)^2*x^3/(g*x^2 + f), x)
 
3.4.11.9 Mupad [F(-1)]

Timed out. \[ \int \frac {x^3 \left (a+b \log \left (c (d+e x)^n\right )\right )^2}{f+g x^2} \, dx=\int \frac {x^3\,{\left (a+b\,\ln \left (c\,{\left (d+e\,x\right )}^n\right )\right )}^2}{g\,x^2+f} \,d x \]

input
int((x^3*(a + b*log(c*(d + e*x)^n))^2)/(f + g*x^2),x)
 
output
int((x^3*(a + b*log(c*(d + e*x)^n))^2)/(f + g*x^2), x)